$\forall$$i$:Id, $M$:\{$M$:MsgA$\mid$ Feasible($M$)\} . @$i$: $M$ $\in$ System